Hybrid Theory - PDFSEARCH.IO - Document Search Engine

Hybrid Theory
Results: 293

#	Item
31	Completeness in Hybrid Type Theory∗ Carlos Areces Patrick Blackburn Universidad Nacional de C´ordoba Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2015-07-16 05:48:24
32	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-04-02 18:22:28 Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization
33	Energy Shaping of Hybrid Systems via Control Lyapunov Functions Ryan W. Sinnet and Aaron D. Ames1 Abstract— This paper presents a method for adding robustness to periodic orbits in hybrid dynamical systems by shaping t Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2015-06-03 00:45:08 Continuous function Systems theory Xi Mathematics Nonlinear control Mathematical analysis Stability theory Lyapunov stability
34	Modeling and Control of Hybrid Systems Alberto Bemporad Dept. of Information Engineering University of Siena, Italy Add to Reading List Source URL: cse.lab.imtlucca.it Language: English - Date: 2010-04-07 18:00:00 Systems science Dynamical systems Differential equations Abstraction Control theory Hybrid system System Variable structure system Scicos Systems theory Science Cybernetics
35	Dynamically Stable Bipedal Robotic Walking with NAO via Human-Inspired Hybrid Zero Dynamics Aaron D. Ames Eric A. Cousineau Add to Reading List Source URL: ames.tamu.edu Language: English - Date: 2012-02-13 00:31:06 Humanoid robot Trigonometric functions Mathematics Physics Estimation theory Geometry Coordinate systems Classical mechanics Kinematics Symbol
36	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
37	DFT in depth the exchange-correlation term Robin HIRSCHL ¨ Materialphysik Institut fur and Center for Computational Material Science Add to Reading List Source URL: cms.mpi.univie.ac.at Language: English - Date: 2003-03-18 08:13:34 Local-density approximation Hybrid functional Jellium Kohn–Sham equations Density functional theory Physics Chemistry
38	APS March Meeting 2014 Denver, Colorado http://www.aps.org/meetings/march/index.cfm Monday, March 3, 2014 8:00AM - 11:00AM Add to Reading List Source URL: flux.aps.org Language: English - Date: 2014-03-27 14:32:14 Quantum mechanics Condensed matter physics Computational chemistry Theoretical chemistry Crystal Electronic band structure Hybrid functional Local-density approximation Axel D. Becke Physics Chemistry Density functional theory
39	Speed Regulation in 3D Robotic Walking through Motion Transitions between Human-Inspired Partial Hybrid Zero Dynamics Matthew J. Powell, Ayonga Hereid, and Aaron D. Ames Abstract— This paper employs the Human-Inspired Add to Reading List Source URL: www.bipedalrobotics.com Language: English - Date: 2013-02-14 18:31:59 Forcing Robotics Control theory Constructible universe Applied mathematics Mathematics Science Humanoid robot Mathematical optimization Motion planning
40	Motivation: Embedded Systems discrete inputs Hybrid Models for Analysis and Control Design Add to Reading List Source URL: cse.lab.imtlucca.it Language: English - Date: 2014-09-16 01:41:10 State observer Optimal control State space Dynamical system Control theory Systems theory Cybernetics

UPDATE